Summation algorithms for Stirling number identities
نویسنده
چکیده
We consider a class of sequences defined by triangular recurrence equations. This class contains Stirling numbers and Eulerian numbers of both kinds, and hypergeometric multiples of those. We give a sufficient criterion for sums over such sequences to obey a recurrence equation, and present algorithms for computing such recurrence equations efficiently. Our algorithms can be used for verifying many known summation identities about Stirling numbers instantly, and also for discovering new identities.
منابع مشابه
Automated Proofs for Some Stirling Number Identities
We present computer-generated proofs of some summation identities for (q-)Stirling and (q-)Eulerian numbers that were obtained by combining a recent summation algorithm for Stirling number identities with a recurrence solver for difference fields.
متن کاملMultiple Stirling Number Identities
A remarkable multiple analogue of the Stirling numbers of the first and second kind was recently constructed by the author. Certain summation identities, and related properties of this family of multiple special numbers are investigated in the present paper.
متن کاملSome Combinatorial Identities and Explanations Based on Occupancy Model
Abstract Some special random variables in occupancy model that balls are distributed into m urns are investigated. The number of occupied urns and the minimal number of balls in all urns are discussed. Some combinatorial identities and their explanations related to the binomial coefficient and Stirling number are derived. Several new infinite summation combinatorial identities on the binomial c...
متن کاملRiordan arrays and harmonic number identities
Let the numbers P (r, n, k) be defined by P (r, n, k) := Pr ( H n −H (1) k , · · · , H (r) n −H (r) k ) , where Pr(x1, · · · , xr) = (−1)Yr(−0!x1,−1!x2, · · · ,−(r− 1)!xr) and Yr are the exponential complete Bell polynomials. By observing that the numbers P (r, n, k) generate two Riordan arrays, we establish several general summation formulas, from which series of harmonic number identities are...
متن کاملA new class of generalized Laguerre-based poly-Bernoulli polynomials
A new class of generalized Laguerre-based poly-Bernoulli polynomials are discussed with an attempt to generate new and interesting identities, some are in relation with Stirling number of the second kind. Different analytical means and generating function method is incorporated to derive implicit summation formulae and symmetry identities for generalized Laguerre poly-Bernoulli polynomials. It ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 42 شماره
صفحات -
تاریخ انتشار 2007